Refresh keyboard mapping upon receiving new XKB map

* src/xterm.c (handle_one_xevent): Call
XkbRefreshKeyboardMapping where required.

diff --git a/src/xterm.c b/src/xterm.c
index a74c31c3f6e6dc7fc697e4c1aa2044cdadcf37a7..ff93e210a1b75de54975ea5bc701de307696e741 100644 (file)
--- a/src/xterm.c
+++ b/src/xterm.c
@@ -11461,6 +11461,8 @@ handle_one_xevent (struct x_display_info *dpyinfo,
 
                  x_find_modifier_meanings (dpyinfo);
                }
+
+             XkbRefreshKeyboardMapping (&xkbevent->map);
            }
        }
 #endif